home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / lib_test / test_loop_variant.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  417 b   |  30 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_LOOP_VARIANT
  5.  
  6. creation {ANY}
  7.    make
  8.    
  9. feature {ANY}
  10.    
  11.    make is 
  12.       local
  13.      i: INTEGER;
  14.       do
  15.      from  
  16.         i := 1;
  17.      invariant
  18.         i <= 11;
  19.         i >= 1;
  20.      variant
  21.         10 - i
  22.      until
  23.         i > 10
  24.      loop
  25.         i := i + 1;
  26.      end;
  27.       end;
  28.    
  29. end -- TEST_LOOP_VARIANT
  30.